Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
program synthesis
1 ?
 21,213,375 websites (safe search)

  1. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

  2. Artificial Intelligence Center @ SRI

    SRI International's Artificial Intelligence Center (AIC) is one of the world's major centers of research in artificial intelligence. Founded in 1966, the AIC ...
    information5
    planning4
    communication4
    integration3
    robots2
    robotics2
    problem solving2
    computer graphics2
    artificial intelligence2
    image processing1
    machine learning1
    computer vision1
    expert systems1
    discourse1
    natural language1
    distributed systems1
    autonomous robots1
    multisource1
    knowledge-based systems1
    program synthesis1
    automatic theorem proving0

    www.ai.sri.com - 2009-03-08

robots2 robotics2 financial advisor2 reference2 robot2 planning4 problem solving2 ancestry.com2 financial4 essay2 automation3 estate6

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.